(check-sat symbol
